Typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Typed lambda calculus
Results: 163

#	Item
111	Ralf Hinze Generic Programs and Proofs Bonn, 2000 Fu Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-03-18 10:35:28 Declarative programming Data types Functional programming Generic programming Lambda calculus Type system Haskell Polymorphism Simply typed lambda calculus Software engineering Computing Type theory
112	Propositions as Types ∗ Philip Wadler University of Edinburgh [removed] 1. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-08-20 07:43:28 Logic in computer science Lambda calculus Proof theory Dependently typed programming Type theory Combinatory logic Natural deduction Curry–Howard correspondence Calculus of constructions Mathematical logic Logic Mathematics
113	Sage: Unified Hybrid Checking for First-Class Types, General Refinement Types, and Dynamic (Extended Report) Kenneth Knowles† Aaron Tomb† Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-05-25 12:49:26 Programming language theory Data types Type systems Formal methods Object-oriented programming Type safety Subtype polymorphism Simply typed lambda calculus Type inference Software engineering Type theory Computing
114	Lambda Calculus Diogo Sousa Universidade Nova de Lisboa Faculdade de Ciˆ encias e Tecnologia Add to Reading List Source URL: orium.pw Language: English - Date: 2012-01-27 11:22:13 Applied mathematics Computability theory Combinatory logic Calculus De Bruijn index Simply typed lambda calculus Lambda calculus Theoretical computer science Mathematics
115	Polymorphic Typed Defunctionalization Fran¸cois Pottier∗ [removed] Abstract Defunctionalization is a program transformation that aims Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2004-05-28 07:25:30 Logic in computer science Lambda calculus Models of computation Type theory Symbol Type system Valuation Combinatory logic Normalisation by evaluation Theoretical computer science Mathematics Applied mathematics
116	JFP 18 (4): 437–502, [removed]c 2007 Cambridge University Press 437 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-06-06 08:53:06 Logic in computer science Lambda calculus Models of computation Computability theory Free variables and bound variables Name binding Operational semantics Simply typed lambda calculus Π-calculus Theoretical computer science Applied mathematics Mathematics
117	arXiv:1406.1310v1 [cs.LO] 5 Jun[removed]Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi∗ Benoˆıt Valiron† Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-06-05 21:10:00 Abstract algebra Models of computation Linear map Transformation Lambda calculus Denotational semantics Simply typed lambda calculus Vector space Linear combination Algebra Mathematics Linear algebra
118	Church and Curry: Combining Intrinsic and Extrinsic Typing Frank Pfenning Dedicated to Peter Andrews on the occasion of his retirement Department of Computer Science Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-04-05 17:19:27 Logic in computer science Lambda calculus Theory of computation Type theory Simply typed lambda calculus HOL Mathematical logic Isabelle Theoretical computer science Applied mathematics Computer science
119	Well-typed programs can’t be blamed Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-05-29 09:37:54 Programming language theory Lambda calculus Software engineering Computing Program analysis Type system Type theory
120	Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:15:23 Computability theory Lambda calculus Logic in computer science Combinatory logic Sigma-algebra Mathematics Mathematical logic Theoretical computer science